$\forall$$A$:MsgA. $A$ $\parallel$